منابع مشابه
A Theorem on the Isomorphism Property
An L{structure is called internally presented in a nonstandard universe if its base set and interpretation of every symbol in L are internal. A nonstandard universe is said to satisfy the {isomorphism property if for any two internally presented L{structures A and B, where L has less than many symbols, A is elementarily equivalent to B implies that A is isomorphic to B. In this paper we prove t...
متن کاملThe First-Order Isomorphism Theorem
For any class C und closed under NC reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtimeuniform AC) reductions are isomorphic under first-order computable
متن کامل1 Leray Spectral Sequence Theorem for Nccw
We prove in this paper a noncommutative version of Leray Theorem and then Leray-Serre Spectral Theorem for noncommutative Serre fibrations: for NC Serre fibration there are converging spectral sequences with E 2 terms as E 2 p,q = HP p (A; HP q (B, A)) =⇒ HP p+q (B) and E 2 p,q = HP p (A; Kq(B, A)) =⇒ Kp+q(B).
متن کاملThe Norm Residue Isomorphism Theorem
We provide a patch to complete the proof of the Voevodsky-Rost Theorem, that the norm residue map is an isomorphism. (This settles the motivic Bloch-Kato conjecture).
متن کاملA First-Order Isomorphism Theorem
We show that for most complexity classes of interest, all sets complete under rstorder projections (fops) are isomorphic under rst-order isomorphisms. That is, a very restricted version of the Berman-Hartmanis Conjecture holds. Since \natural" complete problems seem to stay complete via fops, this indicates that up to rst-order isomorphism there is only one \natural" complete problem for each \...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1958
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1958-0098370-5